Fast Interactive Decision Support for Modifying Stowage Plans Using Binary Decision Diagrams
نویسندگان
چکیده
Low cost containerized shipping requires highquality stowage plans. Scalable stowage planning optimization algorithms have been developed recently. All of these algorithms, however, produce monolithic solutions that are hard for stowage coordinators to modify, which is necessary in practice due to the application of approximate optimization models. This paper introduces an approach for modifying a stowage plan interactively without breaking its constraints. We focus on re-arranging the containers in a single bay section and use a symbolic configuration technique based on binary decision diagrams to provide fast, complete, and backtrack-free decision support. Our computational results show that the approach can solve real-sized instances when breaking symmetries among similar containers.
منابع مشابه
Symbolic Configuration for Interactive Container Ship Stowage Planning
Low cost containerized shipping requires high-quality stowage plans. Scalable stowage planning optimization algorithms have been developed recently. All of these algorithms, however, produce monolithic solutions that are hard for stowage coordinators to modify, which is necessary in practice due to exceptions and operational disruptions. This article introduces an approach for modifying a stowa...
متن کاملNumeric Function Generators Using Decision Diagrams for Discrete Functions
This paper introduces design methods for numeric function generators (NFGs) using decision diagrams. NFGs are hardware accelerators to compute values of numeric functions such as trigonometric, logarithmic, square root, and reciprocal functions. Most existing design methods for NFGs are intended only for a specific class of numeric functions. However, by using decision diagrams for discrete fun...
متن کاملAn Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks
Seaworthy container vessel stowage plans generated under realistic assumptions are a key factor for stowage decision support systems in the shipping industry. We propose a linear model with ballast tanks for generating master plans, the first phase of a 2-phase stowage optimization approach, that includes the main stability and stress moments calculations. Our approach linearizes the center of ...
متن کاملSymbolic Heuristic Search Using Decision Diagrams
We show how to use symbolic model-checking techniques in heuristic search algorithms for both deterministic and decision-theoretic planning problems. A symbolic approach exploits state abstraction by using decision diagrams to compactly represent sets of states and operators on sets of states. In earlier work, symbolic model-checking techniques have been used to find plans that minimize the num...
متن کاملCalculating Entropy Estimate Using Binary Decision Diagrams
Information entropy is one of crucial concepts in modern information theory and related fields. Over the years a large number of methods for reliable estimation of information entropy have been invented. In this paper we introduce a method for the estimation entropy of binary streams based on binary decision diagrams. Binary decision diagrams are an efficient method of representation of discret...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012